Structural Safety Analysis of FPWEC During Sea Transportation
نویسندگان
چکیده
منابع مشابه
Formal Safety Analysis of Transportation Control Systems
From a safety point of view different transportation systems share many properties and requirements. They are all supposed to function correctly, to be failure tolerant and to be associated with only minimal risk. To ensure these requirements formal methods are a great help. The ForMoSA approach provides an integrated methodology for formally analyzing safety-critical transportation systems. On...
متن کاملFormal Safety Analysis in Transportation Control
Transportation control systems are safety critical systems. While a couple of years ago control systems mainly used to be built up from (electro-) mechanical devices, nowadays more and more functionality is software controlled. To sustain the high level safety standards for these embedded systems, we propose to use fault tree analysis integrated with formal methods for analyzing system safety. ...
متن کاملTransportation CPS Safety Challenges
Creating safe Transportation Cyber-Physical Systems (CPSs) presents new challenges as autonomous operation is attempted in unconstrained operational environments. The extremely high safety level required of such systems (perhaps one critical failure per billion operating hours) means that validation approaches will need to consider not only normal operation, but also operation with system fault...
متن کاملEfficiency Analysis of Road Safety Pillars by Applying the Results of a Structural Equations Model in Data Envelopment Analysis
Assessment of road safety performance of countries and their comparison is essential in guiding future decisions. The objective of this study is to search for effective safety pillars in road safety capacity strengthening based on the experiences of the leading countries. In this study, we first try to use the results of a structural equations model with partial least squares approach to select...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Korean Society of Coastal and Ocean Engineers
سال: 2016
ISSN: 2288-2227
DOI: 10.9765/kscoe.2016.28.4.250